Skip to main content

Full text of "Treatise On Analysis Vol-Ii"

See other formats

11    REGULARiZATION       297
(14.11.3)   Take G = R, and p to be Lebesgue measure. Put

,,,,1.3,)       ,*)

Let an = )_10n(x) dx, and/n = a~lgn . The sequence (/) satisfies the condi-
tions of (14.11.1). For 1 - x2 ^ 1 - \x\ for 1 g x g 1, hence

and therefore /( < (w + 1)(1 - x2)n for all x e [-1, 1], which proves that
fn(x) - 0 uniformly on every compact interval not containing 0. Let ^ be a
measure on R with support contained in [ , ]. Then we have


/)(*) = a;1





and if x e [~i, i] this gives


GI * /)(*) = ^ M     (i - (x - jO2


showing that the function ju */ is equal to a, polynomial function on [i, i].
In particular, if ^ = h - /?, where /lisa continuous function with support con-
tained in [  i, i], we obtain from (14.11.1(i)) the theorem of Weierstrass on
uniform approximation of continuous functions by polynomials on a compact
interval (7.4.1).


1.    If a locally compact group G is such that the algebra Jf(G) is commutative with
respect to convolution, show that G is commutative. (Show by regularization that the
algebra of measures with compact support is commutative.)

2.    Let G be a locally compact group, j8 a left Haar measure on G. Show that the algebra
L!(G,^) Jias a unit element if and only if G is discrete. (Suppose that G is not discrete,
and let/o 6 ^KG,/?); then there exists a compact neighborhood V of e such that

I   1/oWI dB(x) < 1. Show that, if U is a compact symmetric neighborhood of e such


that U2 c V, then K^u */0)W | < 1 for almost all x e U, and hence that /0 cannot be

the unit element of L*(G, /?).) uniformly to g on every compact subset of G. If g is uniformly